منابع مشابه
Davide Ancona
della relazione invitata A framework for data, knowledge, and reasoning: Datalog± . . . . . . . . . . . . . 1 Georg Gottlob Fondamenti e risultati teorici A Diophantine representation of Wolstenholme’s pseudoprimality . . . . . . . 2 Luca Vallata, Eugenio Omodeo A natural sequent calculus for Lewis’ logic of counterfactuals . . . . . . . . . . . 13 Nicola Olivetti, Gian Luca Pozzato Infinite de...
متن کاملDavide Ancona An Algebraic Approach to Mixins and Modularity
State Machines (alias evolving algebras as defined by Y. Gurevich) have been used to specify languages (e.g. Prolog, C++, VHDL) and architectures (e.g. PVM, APE100, Transputer, DLX), to validate standard language implementations (e.g. of Prolog, Occam), to verify numerous distributed and real-time protocols, etc.. See [2] for a recent survey and general discussion of the approach. In this talk,...
متن کاملIncremental rebinding with name polymorphism 1 Davide Ancona
We propose an extension with name variables of a calculus for incremental rebinding of code introduced in previous work. Names, which can be either constants or variables, are used as interface of fragments of code with free variables. Open code can be dynamically rebound by applying a rebinding, which is an association from names to terms. Rebindings can contain free variables as well, hence r...
متن کاملIntestinal parasitosis: data analysis 2006-2011 in a teaching hospital of Ancona, Italy.
Intestinal parasites are a serious problem in developing countries, but should not be underestimated in industrialised countries either. Between January 2006 and December 2011, stool specimens and the scotch tests of 5323 Italian and non Italian patients (adults and children) attending the laboratory of our Infectious Diseases Clinic in a teaching Hospital at Ancona were analyzed specifically f...
متن کاملOnline Ad Assignment with an Ad Exchange
Ad exchanges are becoming an increasingly popular way to sell advertisement slots on the internet. An ad exchange is basically a spot market for ad impressions. A publisher who has already signed contracts reserving advertisement impressions on his pages can choose between assigning a new ad impression for a new page view to a contracted advertiser or to sell it at an ad exchange. This leads to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rivista di Neuroradiologia
سال: 1994
ISSN: 1120-9976
DOI: 10.1177/197140099400700103